digraph TS_2 {
b1 -> b2 [label="b"]
b2 -> b1 [label="c"]
[initial = {b1} ]
[final = {b1} ]
}
